Informatics: Science or Téchne?

Informatics is generally understood as a “new technology” and is therewith discussed according to technological aspects such as speed, data retrieval, information control and so on. Its widespread use from home appliances to enterprises and universities is not the result of a clear-cut analysis of its inner possibilities but is rather dependent on all sorts of ideological promises of unlimited progress. We will discuss the theoretical definition of informatics proposed in 1936 by Alan Turing in order to show that it should be taken as final and complete. This definition has no relation to the technology because Turing defines computers as doing the work of solving problems with numbers. This formal definition implies nonetheless a relation to the non-formalized elements around informatics, which we shall discuss through the Greek notion of téchne

South Kent College: reinspection of mathematics and computing, November 2000 (Report from the Inspectorate)

The FEFC has agreed that colleges with provision judged by the inspectorate to be less than satisfactory or poor (grade 4 or 5) should be reinspected. In these circumstances, a college may have its funding agreement with the FEFC qualified to prevent it increasing the number of new students in an unsatisfactory curriculum area until the FEFC is satisfied that weaknesses have been addressed. Satisfactory provision may also be reinspected if actions have been taken to improve quality and the college’s existing inspection grade is the only factor which prevents it from meeting the criteria for FEFC accreditation

Uxbridge College: reinspection of mathematics and computing, April 2000 (Report from the Inspectorate)

The FEFC has agreed that colleges with provision judged by the inspectorate to be less than satisfactory or poor (grade 4 or 5) should be reinspected. In these circumstances, a college may have its funding agreement with the FEFC qualified to prevent it increasing the number of new students in an unsatisfactory curriculum area until the FEFC is satisfied that weaknesses have been addressed. Satisfactory provision may also be reinspected if actions have been taken to improve quality and the college’s existing inspection grade is the only factor which prevents it from meeting the criteria for FEFC accreditation

Inspection report Wyggeston and Queen Elizabeth I College

Date(s) of inspection: 2–6 December 200

Notre Dame Sixth Form College: report from the Inspectorate (FEFC inspection report; 106/96 and 07/01)

Comprises two Further Education Funding Council (FEFC) inspection reports for the periods 1995-96 and 2000-01

Small and large inductive dimension for ideal topological spaces

[EN] Undoubtedly, the small inductive dimension, ind, and the large inductive dimension, Ind, for topological spaces have been studied extensively, developing an important field in Topology. Many of their properties have been studied in details (see for example [1,4,5,9,10,18]). However, researches for dimensions in the field of ideal topological spaces are in an initial stage. The covering dimension, dim, is an exception of this fact, since it is a meaning of dimension, which has been studied for such spaces in [17]. In this paper, based on the notions of the small and large inductive dimension, new types of dimensions for ideal topological spaces are studied. They are called *-small and *-large inductive dimension, ideal small and ideal large inductive dimension. Basic properties of these dimensions are studied and relations between these dimensions are investigated.Sereti, F. (2021). Small and large inductive dimension for ideal topological spaces. Applied General Topology. 22(2):417-434. https://doi.org/10.4995/agt.2021.15231OJS417434222M. G. Charalambous, Dimension Theory, A Selection of Theorems and Counterexample, Springer Nature Switzerland AG, Cham, Switzerland, 2019. https://doi.org/10.1007/978-3-030-22232-1M. Coornaert, Topological Dimension, In: Topological dimension and dynamical systems, Universitext. Springer, Cham, 2015. https://doi.org/10.1007/978-3-319-19794-4J. Dontchev, M. Maximilian Ganster and D. Rose, Ideal resolvability, Topology Appl. 93, no. 1 (1999), 1-16. https://doi.org/10.1016/S0166-8641(97)00257-5R. Engelking, General Topology, Heldermann Verlag, Berlin, 1989.R. Engelking, Theory of Dimensions, Finite and Infinite, Heldermann Verlag, Berlin, 1995.D. N. Georgiou, S. E. Han and A. C. Megaritis, Dimensions of the type dim and Alexandroff spaces, J. Egypt. Math. Soc. 21 (2013), 311-317. https://doi.org/10.1016/j.joems.2013.02.015D. N. Georgiou and A. C. Megaritis, An algorithm of polynomial order for computing the covering dimension of a finite space, Applied Mathematics and Computation 231 (2014), 276-283. https://doi.org/10.1016/j.amc.2013.12.185D. N. Georgiou and A. C. Megaritis, Covering dimension and finite spaces, Applied Mathematics and Computation 218 (2014), 3122-3130. https://doi.org/10.1016/j.amc.2011.08.040D. N. Georgiou, A. C. Megaritis and S. Moshokoa, A computing procedure for the small inductive dimension of a finite $T_0$ space, Computational and Applied Mathematics 34, no. 1 (2015), 401-415. https://doi.org/10.1007/s40314-014-0125-zD. N. Georgiou, A. C. Megaritis and S. Moshokoa, Small inductive dimension and Alexandroff topological spaces, Topology Appl. 168 (2014), 103-119. https://doi.org/10.1016/j.topol.2014.02.014D. N. Georgiou, A. C. Megaritis and F. Sereti, A study of the quasi covering dimension for finite spaces through matrix theory, Hacettepe Journal of Mathematics and Statistics 46, no. 1 (2017), 111-125.D. N. Georgiou, A. C. Megaritis and F. Sereti, A study of the quasi covering dimension of Alexandroff countable spaces using matrices, Filomat 32, no. 18 (2018), 6327-6337. https://doi.org/10.2298/FIL1818327GD. N. Georgiou, A. C. Megaritis and F. Sereti, A topological dimension greater than or equal to the classical covering dimension, Houston Journal of Mathematics 43, no. 1 (2017), 283-298.T. R. Hamlett, D. Rose and D. Janković, Paracompactness with respect to an ideal, Internat. J. Math. Math. Sci. 20, no. 3 (1997), 433-442. https://doi.org/10.1155/S0161171297000598D. Janković and T. R. Hamlett, New topologies from old via ideals, Amer. Math. Monthly 97, no. 4 (1990), 295-310. https://doi.org/10.1080/00029890.1990.11995593K. Kuratowski, Topologie I, Monografie Matematyczne 3, Warszawa-Lwów, 1933.A. C. Megaritis, Covering dimension and ideal topological spaces, Quaestiones Mathematicae, to appear. https://doi.org/10.2989/16073606.2020.1851309A. R. Pears, Dimension theory of general spaces, Cambridge University Press, Cambridge, 1975.P. Samuels, A topology formed from a given topology and ideal, J. London Math. Soc. 10, no. 4 (1975), 409-416. https://doi.org/10.1112/jlms/s2-10.4.40

Industry and faculty surveys call for increased collaboration to prepare information technology graduates

Academic and industry collaborations can help improve computing curricula and student learning experiences. Such collaborations are formally encouraged by accreditation standards. Through the auspices of ACM and IEEE-CS, the IT2017 task group is updating curriculum guidelines for information technology undergraduate degree programs, similar to the regular updates for other computing disciplines. The task group surveyed curriculum preferences of both faculty and industry. The authors, with the group\u27s cooperation, compare US faculty and US industry preferences in mathematics, IT knowledge areas, and student workplace skill sets. Faculty and industry share common ground, which supports optimism about their productive collaboration, but are also distinct enough to justify the effort of actively coordinating with each other

Leeds College of Building: report from the Inspectorate (FEFC inspection report; 92/97)

The Further Education Funding Council has a legal duty to make sure further education in England is properly assessed. The FEFC’s inspectorate inspects and reports on each college of further education according to a four-year cycle. This record is for one of these reports

Leeds College of Technology: report from the Inspectorate (FEFC inspection report; 92/97 and 33/01)

The Further Education Funding Council has a legal duty to make sure further education in England is properly assessed. The FEFC’s inspectorate inspects and reports on each college of further education according to a four-year cycle. This record comprises the reports for periods 1996-97 and 2000-0